home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / Passed / test52.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  216 b   |  10 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. main :- a, b, c.
  5.  
  6. a :- arg(1,[ok1,ok2],X), write(X), nl.
  7. b :- arg(2,[ok1|ok2],X), write(X), nl.
  8. c :- arg(2,[ok1,ok3],[X]), write(X), nl.
  9.  
  10.